Generating tests from B specifications and dynamic selection criteria
نویسندگان
چکیده
منابع مشابه
Generating Tests from UML Specifications
Although most industry testing of complex software is conducted at the system level, most formal research has focused on the unit level. As a result, most system level testing techniques are only described informally. This paper presents a novel technique that adapts pre-de ned state-based speci cation test data generation criteria to generate test cases from UML statecharts. UML statecharts pr...
متن کاملGenerating software from specifications
ions on a high level transformed into executable software (using domain knowledge) User understands Generator expert understands abstractions of the application domain implementation methods wide cognitive distance generator makes expert knowledge available Examples: Data base report generator GUI generator Parser generator GSS-1.3 Task description Generator Implementation Lecture Generating So...
متن کاملGenerating Test Cases From B Specifications: An Industrial Case Study
In this paper we present a case study in the industry about the application of a test case generation method based on B machine specifications. First we describe the step-by-step process of the test case generation method and then we present its use in a particular case study for door controlling module from a subway system. Lastly, we discuss the results obtained after this study and the futur...
متن کاملCriteria for Generating Speci � cation based Tests
This paper presents general criteria for generating test inputs from state based speci cations Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned Formal speci cations of complex systems represent a signi cant opportunity for testing because they precisely de scribe what functions the software is supposed to pro vide in a form that can easi...
متن کاملCriteria for Generating Specification-Based Tests
This paper presents general criteria for generating test inputs from state-based speciications. Software testing can only be formalized and quantiied when a solid basis for test generation can be deened. Formal speciications of complex systems represent a signii-cant opportunity for testing because they precisely describe what functions the software is supposed to provide in a form that can eas...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 2009
ISSN: 0934-5043,1433-299X
DOI: 10.1007/s00165-009-0132-9